Towards a framework and a benchmark for testing tools for multi-threaded programs
نویسندگان
چکیده
1 Computer Science Department, University of Haifa, Haifa, Israel, [email protected] 2 Kestrel Technology, NASA Ames Research Center, Moffett Field, CA 94035-1000 USA, [email protected] 3 Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA, [email protected] 4 IBM Haifa Research Lab, Haifa University Campus, Haifa, 31905, Israel, [email protected]
منابع مشابه
Toward a Benchmark for Multi-Threaded Testing Tools
Looking for intermittent bugs is a problem that has been getting prominence in testing. Multi-threaded code is becoming very common, mostly on the server side. As there is no silver bullet solution, research focuses on a variety of partial solutions. We outline a road map for combining the research on the different disciplines of testing multi-threaded programs and on evaluating its quality. Th...
متن کاملBenchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is no silver bullet solution, research focuses on a variety of partial solutions. In this paper (invited by PADTAD 2003) we outline a proposed project to facilitate research. The project goals are as follows. The first g...
متن کاملA Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
Verifying multi-threaded programs is becoming more and more important, because of the strong trend to increase the number of processing units per CPU socket. We introduce a new configurable program analysis for verifying multi-threaded programs with a bounded number of threads. We present a simple and yet efficient implementation as component of the existing program-verification framework CPACH...
متن کاملSpecial Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD)
In conferences dedicated to concurrency, there is a lot of interest in our tutorials on software testing and review of concurrent software. People come to the tutorial because they know that to get their system to work they need to deal with nasty concurrency bugs such as races and deadlocks.Whilst everyone, both in the industry and academia, acknowledge that the topic of concurrency testing is...
متن کاملUsing the Karp-Miller Tree Construction to Analyse Concurrent Finite-State Programs
The formal analysis of multi-threaded programs is among the grand challenges of software verification research. In this dissertation, we consider non-recursive multi-threaded Boolean programs, the principal ingredient in predicate abstraction. We introduced a exact and complete solution for thread-state reachability analysis of concurrent Boolean programs with unbounded thread creation. We pres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Concurrency and Computation: Practice and Experience
دوره 19 شماره
صفحات -
تاریخ انتشار 2007